Formal Specification and Automatic Verification of Conditional Commitments

Developing and implementing a model checker dedicated to conditional logic with the user interface are urgent requirements for determining whether agents comply with their commitment protocols

Vitamin C attenuates the toxic effect of nutmeg on primary visual occipital cortex in rats

Background: Nutmeg is neurotoxic in rats and possibly neurotoxic also in hu- mans. The aim of this study is to investigate the effect of nutmeg on the primary visual occipital cortex of adult male rat and to evaluate the possible protective role of vitamin C.  Materials and methods: Fifty Sprague-Dawley adults male rats were randomly divided into three main groups; control, nutmeg-treated (500 and 1000 mg/kg/ /day) and protected groups (nutmeg + vitamin C [500 mg/kg/day]). All rats were treated orally by gavage for 5 days per week for 6 weeks. At the end of the experiment, primary visual occipital cerebral cortex was subjected to histological, immunohistochemical and genetic analyses.  Results: Our results revealed toxic effects of nutmeg on the primary visual occipital cerebral cortex in adult male albino rat. This was indicated by histopathological alterations, including pyknotic nuclei surrounded with vacuolations by light micro- scopic studies and degenerations of organelles by electron microscopic studies. In addition, we detected an increase in immunoreactivity for GFAP and caspase-3 by immunohistochemical assessments. Apoptotic bands appeared in genetic studies. Co-administration of vitamin C ameliorated nutmeg-induced toxic alterations on the primary visual occipital cerebral cortex.  Conclusions: Nutmeg administration caused histopathological and genetic changes in the primary visual occipital cerebral cortex in adult male albino rats. These changes were improved by co-administration of vitamin C.

MODIFIED DOUBLE-DISC SYNERGY TEST (MDDST) FOR DETECTION OF EXTENDED-SPECTRUM BETA-LACTAMASES IN AmpC BETA-LACTAMASE-PRODUCING KLEBSIELLA CLINICAL ISOLATES

The detection of ESBL(S) in gram-negative bacteria that produce AmpC beta-lactamases is problematic. In the present study, the performance of MDDST that employs a combination of cefepime and piperacillin-tazobactam for the detection of ESBL(S) Klebsiella producing AmpC beta-lactamases was evaluated and compared with DDST. E-test phenotypic confirmatory and MTDT tests were adopted for more data confidence. A total of 100 clinical isolates of Klebsiella, which met the CLSI (2012) screening criteria as having broth microdilution (BMD) MIC of > or =2 mg/mL for at least one extended spectrum cephalosporin [ceftazidime (CAZ), cefotaxime (CTX) and cefpodoxime], were accurately-selected for the study. MDDST detected ESBLs in 62 out of the100 studied isolates with 100% sensitivity and specificity, whereas DDST detected ESBLs in only 52 isolates with 92.9% sensitivity and 100% specificity. E-test could detect ESBLs in 62 isolates, while as many as 34/62 ESBL positive isolates were confirmed to be AmpC beta-lactamase positive by the MTDT. MDDST and E-Test could detect ESBLs in all the 34 AmpC positive isolates, whereas DDST detect ESBLs in only 26 isolates.The study recommended MDDST as superior to DDST for the detection of ESBLs in AmpC beta-lactamase-producing Klebsiella spp. and this was confirmed by MTDT and E-Tests

HEPATOPROTECTIVE ACTIVITY OF COSTUS SPECIOSUS (KOEN. EX. RETZ.) AGAINST PARACETAMOL-INDUCED LIVER INJURY IN MICE

Background: Liver diseases are a common cause of mortality and morbidity over the world. It is caused mainly by toxic chemicals and chemotherapeutic agents. Costus speciosus (Koen ex. Retz.) (Zingiberaceae) is widely employed in various traditional medicines for the prevention and treatment of different aliments. The purpose of this study is to assess the protective effect of C. speciosus rhizomes MeOH extract against the injury of the liver induced by paracetamol (PA) in mice. Material and Methods: The mice were pretreated for seven days with distilled H2O, silymarin 12 mg/kg or 100 and 200 mg/kg MeOH extract. Then, PA (750 mg/kg) was also intra-peritoneal administrated once a day. Animals were euthanatized 24 h after the damage inducement. The levels of the serum enzymes aspartate aminotransferase (AST), alkaline phosphatase (ALP), alanine aminotransferase (ALT), and aspartate aminotransferase, in addition to the tumor necrosis factor-alpha (TNF-α), were determined. Moreover, the histopathological examination was carried out. Results: Administration of the MeOH extract (200 mg/kg) showed improvement in the toxic effects of PA through significant fall on the serum markers enzymes of liver damage: AST, ALT, and ALP, as well as TNF-α, compared to silymarin. In parallel, the histopathological profile in the mice` liver also proved that extract markedly minimized the PA toxicity and maintained the liver tissues` histoarchitecture to near the normal ones more than that achieved by silymarin. Conclusion: The findings suggested that C. speciosus extract acts as a potential hepatoprotective agent against PA-induced liver toxicity. This hepato-protection effect may be due to the existence of steroids, saponins, different glycosides, and phenolic compounds in C. speciosus

Foot-and-Mouth Disease Virus Serotype A in Egypt

We describe the characterization of a foot-and-mouth disease (FMD) serotype A virus responsible for recent outbreaks of disease in Egypt. Phylogenetic analysis of VP1 nucleotide sequences demonstrated a close relationship to recent FMD virus isolates from East Africa, rather than to viruses currently circulating in the Middle East

In ovo protective effects of chicoric and rosmarinic acids against Thiacloprid-induced cytotoxicity, oxidative stress, and growth retardation on newly hatched chicks

Thiacloprid (TH) is a neonicotinoid insecticide employed in agriculture to protect fruits and vegetables against different insects. It showed different deleterious effects on the general health of non-target organisms including birds and animals, however, its developmental toxicity has yet to be fully elucidated. Chicoric (CA) and rosmarinic (RA) acids are polyphenolic compounds with a wide range of beneficial biological activities. In this study, the possible protective effects of CA and RA were investigated in chick embryos exposed in ovo to TH (1mg/egg) with or without CA (100 mg/egg) or RA (100 mg/egg) co-exposure. TH reduced the hatchling body weight, body weight/egg weight, and relative weight of bursa of Fabricius in the one-day-old hatchlings. Examination of the 7-day-old chicks revealed a decline in feed intake, daily weight gain, feed conversion ratio (FCR), and plasma levels of T3, T4, and growth hormone. Serum ALT, AST activities, and total cholesterol levels showed significant elevations. Hepatic MDA was increased with a reduction in SOD activity and GSH level and downregulation of the liver SOD and GST gene expression pattern. Serum IgG and IgM levels were reduced, and various histopathological alterations were noticed in the liver. Co-administration of CA or RA with TH mitigated the toxic effects on hatchlings. When both CA and RA are combined, they present a synergistic protective effect. CA and RA can be used as protective agents against TH toxicity as they improve growth performance and have hepatoprotective and immunostimulant effects in newly hatched chicks

Putting context to numbers : a geotechnical risk trajectory to cost overrun extremism

The study investigates the cause of the unusually high cost overruns experienced in highway project delivery in the tropical wetland setting of the Niger Delta region of Nigeria. This is in view of the extensive literature supporting the link between geology, the lack of geotechnical best practices and cost overruns. An empirical profiling of cost overrun research further reveals the predominance of mono-method studies based on survey methods, correlative analysis and archival data modelling techniques, all of which are underlain by positivism. The study argues that such positivist philosophies, although methodologically valid, cannot adequately explain and provide in-depth understanding of the contextual cost overrun drivers in highway organisations., Using a robust and thoughtfully designed mix of methods, the paper examines the contribution of geotechnical risks to cost overruns experienced in highway project, and demonstrates the relevance of context in cost overrun research. Cost overrun data from documentary sources for 61 completed highway projects in the Niger Delta are gathered and analysed, revealing an average value of 216%, with extreme cases, ranging up to 1925% of budgeted cost. To uncover the intrinsic contextual drivers, 16 interviews were conducted with participants from the three highway agencies in the region, responsible for the execution of the sampled highway projects. Adopting a geotechnical narrative, the data is thematically analysed, deductively and inductively. The results of the analysis identified that poor project governance, management and procurement practices, have inhibited the competent management of geotechnical risk, creating a propensity for extreme cost overruns on the highway projects. The study submits the phenomenon of cost overruns in public infrastructure projects is underlain by a complexity of contextual social constructs, which would have been overlooked in positivists studies. Cost overrun research therefore, needs to be contextually and numerically anchored. Keywords: Context, Cost overruns, Highway projects, Mixed methods, Social Construct

Imaging Cyclic AMP Changes in Pancreatic Islets of Transgenic Reporter Mice

Cyclic AMP (cAMP) and Ca2+ are two ubiquitous second messengers in transduction pathways downstream of receptors for hormones, neurotransmitters and local signals. The availability of fluorescent Ca2+ reporter dyes that are easily introduced into cells and tissues has facilitated analysis of the dynamics and spatial patterns for Ca2+ signaling pathways. A similar dissection of the role of cAMP has lagged because indicator dyes do not exist. Genetically encoded reporters for cAMP are available but they must be introduced by transient transfection in cell culture, which limits their utility. We report here that we have produced a strain of transgenic mice in which an enhanced cAMP reporter is integrated in the genome and can be expressed in any targeted tissue and with tetracycline induction. We have expressed the cAMP reporter in β-cells of pancreatic islets and conducted an analysis of intracellular cAMP levels in relation to glucose stimulation, Ca2+ levels, and membrane depolarization. Pancreatic function in transgenic mice was normal. In induced transgenic islets, glucose evoked an increase in cAMP in β-cells in a dose-dependent manner. The cAMP response is independent of (in fact, precedes) the Ca2+ influx that results from glucose stimulation of islets. Glucose-evoked cAMP responses are synchronous in cells throughout the islet and occur in 2 phases suggestive of the time course of insulin secretion. Insofar as cAMP in islets is known to potentiate insulin secretion, the novel transgenic mouse model will for the first time permit detailed analyses of cAMP signals in β-cells within islets, i.e. in their native physiological context. Reporter expression in other tissues (such as the heart) where cAMP plays a critical regulatory role, will permit novel biomedical approaches

Laparoscopy in management of appendicitis in high-, middle-, and low-income countries: a multicenter, prospective, cohort study.

BACKGROUND: Appendicitis is the most common abdominal surgical emergency worldwide. Differences between high- and low-income settings in the availability of laparoscopic appendectomy, alternative management choices, and outcomes are poorly described. The aim was to identify variation in surgical management and outcomes of appendicitis within low-, middle-, and high-Human Development Index (HDI) countries worldwide. METHODS: This is a multicenter, international prospective cohort study. Consecutive sampling of patients undergoing emergency appendectomy over 6 months was conducted. Follow-up lasted 30 days. RESULTS: 4546 patients from 52 countries underwent appendectomy (2499 high-, 1540 middle-, and 507 low-HDI groups). Surgical site infection (SSI) rates were higher in low-HDI (OR 2.57, 95% CI 1.33-4.99, p = 0.005) but not middle-HDI countries (OR 1.38, 95% CI 0.76-2.52, p = 0.291), compared with high-HDI countries after adjustment. A laparoscopic approach was common in high-HDI countries (1693/2499, 67.7%), but infrequent in low-HDI (41/507, 8.1%) and middle-HDI (132/1540, 8.6%) groups. After accounting for case-mix, laparoscopy was still associated with fewer overall complications (OR 0.55, 95% CI 0.42-0.71, p < 0.001) and SSIs (OR 0.22, 95% CI 0.14-0.33, p < 0.001). In propensity-score matched groups within low-/middle-HDI countries, laparoscopy was still associated with fewer overall complications (OR 0.23 95% CI 0.11-0.44) and SSI (OR 0.21 95% CI 0.09-0.45). CONCLUSION: A laparoscopic approach is associated with better outcomes and availability appears to differ by country HDI. Despite the profound clinical, operational, and financial barriers to its widespread introduction, laparoscopy could significantly improve outcomes for patients in low-resource environments. TRIAL REGISTRATION: NCT02179112